Roberto Bruni: Z-Libraryで検索

Roberto Bruni, Ugo Montanari

年:

2017

言語:

english

ファイル:

PDF, 1.80 MB

0 / 0

english, 2017

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

年:

2009

言語:

english

ファイル:

PDF, 5.67 MB

0 / 0

english, 2009

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

年:

2009

言語:

english

ファイル:

PDF, 4.81 MB

0 / 0

english, 2009

Formal Techniques for Distributed Systems. Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings

Roberto Bruni, Juergen Dingel (eds.)

年:

2011

言語:

english

ファイル:

PDF, 3.11 MB

0 / 5.0

english, 2011

Models of Computation

Roberto Bruni, Ugo Montanari

年:

2017

言語:

english

ファイル:

PDF, 2.69 MB

0 / 0

english, 2017

Systems Theory in Immunology: Proceedings of the Working Conference, Held in Rome, May 1978

Göran Möller (auth.), Carlo Bruni, Gino Doria, Giorgio Koch, Roberto Strom (eds.)

年:

1979

言語:

english

ファイル:

PDF, 5.99 MB

0 / 0

english, 1979

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)

年:

2011

言語:

english

ファイル:

PDF, 4.28 MB

0 / 0

english, 2011

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

年:

2009

言語:

english

ファイル:

PDF, 8.59 MB

0 / 0

english, 2009

Models of Computation

Roberto Bruni, Ugo Montanari

年:

2017

言語:

english

ファイル:

PDF, 2.03 MB

0 / 0

english, 2017

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

年:

2009

言語:

english

ファイル:

EPUB, 1020 KB

0 / 5.0

english, 2009

Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

Paolo Baldan, Andrea Bracciali, Roberto Bruni (auth.), Corrado Priami, Paola Quaglia (eds.)

年:

2005

言語:

english

ファイル:

PDF, 3.96 MB

0 / 0

english, 2005

Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.)

年:

2012

言語:

english

ファイル:

PDF, 3.98 MB

0 / 0

english, 2012

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

年:

2009

言語:

english

ファイル:

PDF, 5.51 MB

0 / 0

english, 2009

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

年:

2009

言語:

english

ファイル:

LIT , 1.97 MB

0 / 0

english, 2009

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

年:

2009

言語:

english

ファイル:

MOBI , 2.11 MB

0 / 0

english, 2009

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

年:

2009

言語:

english

ファイル:

FB2 , 3.23 MB

0 / 0

english, 2009

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.)

年:

2013

言語:

english

ファイル:

PDF, 5.79 MB

0 / 0

english, 2013

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

年:

2009

言語:

english

ファイル:

PDF, 5.04 MB

0 / 0

english, 2009

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

年:

2009

言語:

english

ファイル:

PDF, 4.99 MB

0 / 0

english, 2009

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)

年:

2007

言語:

english

ファイル:

PDF, 3.47 MB

0 / 0

english, 2007

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)

年:

2011

言語:

english

ファイル:

PDF, 3.55 MB

0 / 0

english, 2011

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings